1. Introduction to metamathematics
Author: Kleene, Stephen Cole, 9091-4991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Metamathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
8
.
K54
1971
2. The collected papers of Gerhard Gentzen.
Author: Edited by M. E. Szabo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Metamathematics
Classification :
QA9
.
G329
3. Thinking about G?del and Turing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
4. Thinking about G?�del and Turing
Author: / Gregory J Chaitim
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
Classification :
QA
,
9
.
65
,.
C43
,
2007
5. Undecidable theories
Author: / by Alfred Tarski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Metamathematics,Logic, Symbolic and mathematical
Classification :
E-BOOK
